Thomas S. E. Maibaum: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Abstract Data Types and Type Theory: Theories as Types

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 1.16 MB

english, 1991

2

Encapsulating deontic and branching time specifications

Castro, Pablo F., Maibaum, Thomas S.E.

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

3

MSMBuilder2: Modeling Conformational Dynamics on the Picosecond to Millisecond Scale

Beauchamp, Kyle A., Bowman, Gregory R., Lane, Thomas J., Maibaum, Lutz, Haque, Imran S., Pande, Vijay S.

Journal:

Journal of Chemical Theory and Computation

Year:

2011

Language:

english

File:

PDF, 2.93 MB

english, 2011

4

Pyridino-protophane mit Alkylensegmenten wechselnder Länge

Prof. Dr. Thomas Kauffmann, Gerhard Beißner, Rüdiger Maibaum

Journal:

Angewandte Chemie

Year:

1971

Language:

german

File:

PDF, 197 KB

german, 1971

5

Pyridinoprotophanes with Alkylene Segments of Various Lengths

Prof. Dr. Thomas Kauffmann, Dipl.-Chem. Gerhard Beissner, Rüdiger Maibaum

Journal:

Angewandte Chemie International Edition

Year:

1971

Language:

english

File:

PDF, 204 KB

english, 1971

6

Proof theory and computer programming

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1990

Language:

english

File:

PDF, 1.23 MB

english, 1990

7

Paul Heinz Müller. 23. August 1924 – 10. Mai 2009

Rolf Kühne, Gert Maibaum, Volker Nollau, Thomas Riedrich, Dietrich Stoyan

Journal:

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik

Year:

2009

Language:

german

File:

PDF, 247 KB

german, 2009

8

On the Modularization Theorem for logical specifications

Paulo A.S Veloso, Thomas S.E Maibaum

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 603 KB

english, 1995

9

Extraction, interpretation and validation of information for comparing samples in metabolic LC/MS data sets

Jonsson, P�r, Bruce, Stephen J., Moritz, Thomas, Trygg, Johan, Sj�str�m, Michael, Plumb, Robert, Granger, Jennifer, Maibaum, Elaine, Nicholson, Jeremy K., Holmes, Elaine, Antti, Henrik

Journal:

The Analyst (Royal Society of Chemistry)

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

10

A Constructive Presentation for the Modal Connective of Necessity (□)

BENEVIDES, MARIO R. F., MAIBAUM, THOMAS S. E.

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 838 KB

english, 1992

11

Reasoning about static and dynamic properties in alloy

Frias, Marcelo F., López Pombo, Carlos G., Baum, Gabriel A., Aguirre, Nazareno M., Maibaum, Thomas S. E.

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 641 KB

english, 2005

12

[ACM Press the ninth ACM international conference - Taipei, Taiwan (2011.10.09-2011.10.14)] Proceedings of the ninth ACM international conference on Embedded software - EMSOFT '11 - Software certification experience in the canadian nuclear industry

Wassyng, Alan, Lawford, Mark S., Maibaum, Thomas S.E.

Year:

2011

Language:

english

File:

PDF, 372 KB

english, 2011

13

Lessons Learned from the Object-Oriented Design of the BIRD Attitude Control System Software

Maibaum, Olaf, Terzibaschian, Thomas

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 676 KB

english, 2004

14

ChemInform Abstract: PROTOPHANE UND POLYARENE 2. MITT. PYRIDINO-PROTOPHANE MIT ALKYLENSEGMENTEN WECHSELNDER LAENGE

KAUFFMANN, THOMAS, BEISSNER, GERHARD, MAIBAUM, RUEDIGER

Journal:

Chemischer Informationsdienst. Organische Chemie

Year:

1971

File:

PDF, 146 KB

1971

15

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Lopez Pombo, Carlos G., Castro, Pablo F., Aguirre, Nazareno M., Maibaum, Thomas S.E.

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 635 KB

english, 2019

16

[ACM Press the Sixth International Symposium - Hue City, Viet Nam (2015.12.03-2015.12.04)] Proceedings of the Sixth International Symposium on Information and Communication Technology - SoICT 2015 - Stateflow to Tabular Expressions

Singh, Neeraj Kumar, Lawford, Mark, Maibaum, Thomas S. E., Wassyng, Alan

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски